We Sketch Very Brie
ثبت نشده
چکیده
BLOCKINy the construction of the PL-category in 3 directly from a given PL-category A without any reference to an ambient locally cartesian closed category L. An object in the bre over U n is a pair hT; T 0 i such that (i) T is an object in A(U n)|let t: U n-U be such that A(t)(X) = T |
منابع مشابه
Object Management Technology for Environments: Experiences, Opportunities and Risks
For the past several years, we have been actively investigating object management technology for building software environments. Our experiences in this area have spanned type de nition and implementation techniques, persistence models and implementation methods, type models for environments, and interoperability models and tools. In this paper we brie y summarize these experiences and then ske...
متن کاملParallel Simulation of Multicomponent Systems
Simulation of multicomponent systems poses many critical challenges in science and engineering. We overview some software and algorithmic issues in developing high-performance simulation tools for such systems, based on our experience in developing a large-scale, fullycoupled code for detailed simulation of solid propellant rockets. We brie y sketch some of our solutions to these issues, with f...
متن کاملMachine Learning in Computer Vision
In this editorial we brie ̄ y discuss interaction between two important areas of arti® cial intelligence: computer vision (CV ) and machine learning (ML ). Although the two ® elds have a long-standing tradition and can be considered technologically mature, past research in applying ML techniques to CV problems has been limited. After a short introduction in the ® elds of computer vision and mach...
متن کاملThe re-entrant nematic and the compounds of Gray
By creating and developing materials whose properties could be fully characterized, Professor George W. Gray has played a pivotal roà le in advancing our knowledge of liquid crystal states of matter. To honour him on his birthday, I brie ̄ y sketch some of my experimental results where the purity and stability of his cyanobiphenyl compounds played a crucial roà le in establishing new physical ph...
متن کاملChinese Sketch Engine and the Extraction of Grammatical Collocations
This paper introduces a new technology for collocation extraction in Chinese. Sketch Engine (Kilgarriff et al., 2004) has proven to be a very effective tool for automatic description of lexical information, including collocation extraction, based on large-scale corpus. The original work of Sketch Engine was based on BNC. We extend Sketch Engine to Chinese based on Gigaword corpus from LDC. We d...
متن کامل